5.25/6.44	unsat
