86.59/87.21	unsat
