22.94/23.02	unsat
