80.74/86.88	unsat
