22.14/23.86	unsat
