24.77/25.56	unsat
