8.18/10.10	unsat
