84.14/87.37	unsat
