7.18/10.34	unsat
