24.32/25.15	unsat
