87.00/90.72	unsat
