76.42/77.01	unsat
