19.67/21.74	unsat
