82.51/87.01	unsat
