18.07/18.69	unsat
