22.44/23.52	unsat
