20.74/22.74	unsat
