84.54/87.64	unsat
