85.26/87.64	unsat
