25.54/25.87	unsat
