20.67/20.74	unsat
