22.95/23.02	unsat
