7.18/7.90	unsat
