18.06/19.74	unsat
