7.18/9.55	unsat
