20.83/25.15	unsat
