86.98/92.05	unsat
