77.17/80.72	unsat
