25.37/25.56	unsat
