77.45/80.46	unsat
