85.75/87.01	unsat
