7.18/7.80	unsat
