22.25/22.34	unsat
