84.03/89.08	unsat
