19.08/26.74	unsat
