6.08/6.44	unsat
