22.76/28.20	unsat
