18.25/18.36	unsat
