22.16/23.95	unsat
