7.18/7.34	unsat
