10.06/10.18	unsat
