22.95/23.14	unsat
