77.40/77.60	unsat
