83.25/87.87	unsat
