23.46/25.17	unsat
