67.47/89.00	unsat
