5.49/7.89	unsat
