7.18/10.13	unsat
