18.10/18.36	unsat
