18.05/18.74	unsat
