6.85/7.37	unsat
