87.08/87.28	unsat
