19.49/19.74	unsat
