77.45/77.62	unsat
