22.76/22.82	unsat
