6.70/7.44	unsat
