77.83/79.94	unsat
