23.36/25.72	unsat
