6.70/7.40	unsat
