22.19/22.34	unsat
