22.95/23.64	unsat
