23.22/25.47	unsat
