77.44/77.63	unsat
