18.89/18.93	unsat
