5.08/7.89	unsat
