6.70/7.36	unsat
