7.05/7.90	unsat
