86.59/87.52	unsat
