18.27/18.36	unsat
