23.35/25.47	unsat
