22.14/22.40	unsat
