77.45/80.53	unsat
