18.24/18.36	unsat
