23.85/25.17	unsat
