6.17/6.44	unsat
