5.08/7.44	unsat
