73.92/77.15	unsat
