84.41/87.29	unsat
