22.34/22.82	unsat
